Non-classical operations hidden in classical logic

نویسنده

V. Sotirov

چکیده

Objects of consideration are various non-classical connectives “hidden” in the classical logic in the form of with — a classical connective, and — a propositional variable. One of them is negation, which is defined as ; another is necessity, which is defined as . The new operations are axiomatized and it is shown that they belong to the 4–valued logic of Łukasiewicz.A 2–point Kripke semantics is built leading directly to the 4-valued logical tables.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Review and Classification of Modeling Approaches of Soil Hydrology Processes

To use soil hydrology processe (SHP) models, which have increasingly extended during the last years, comprehensive knowledge about these models and their modeling approaches seems to be necessary. The modeling approaches can be categorized as either classical or non-classical. Classical approaches mainly model the SHP through solving the general unsaturated flow (Richards) equation, numerically...

متن کامل

Review and Classification of Modeling Approaches of Soil Hydrology Processes

To use soil hydrology processes (SHP) models, which have increasingly extended during the last years, comprehensive knowledge about these models and their modeling approaches seems to be necessary. The modeling approaches can be categorized as either classical or non-classical. Classical approaches mainly model the SHP through solving the general unsaturated flow (Richards) equation, numericall...

متن کامل

Truth Values and Connectives in Some Non-Classical Logics

The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...

متن کامل

Mass Participation Factor in Defining Non-classical Range of Behavior for Mass Isolated Systems

The new techniques in seismic design of structures are usually attributed to high damping ratios. In such systems, the assumption of classical (i.e. proportional) damping is not valid and in most cases they should be considered as Non-classical systems. Since the analytical tools for studying the behavior of such structures are not easily available, the present work attempts to find the limits,...

متن کامل